home *** CD-ROM | disk | FTP | other *** search
/ Gold Fish 3 / goldfish_volume_3.bin / files / text / misc / cvt / scripts / dos->tex.cvt < prev    next >
Text File  |  1993-12-31  |  4KB  |  152 lines
  1. /*
  2.  *  MS-DOS -> TEX
  3.  *
  4.  *  (c)Copyright 1993 by Tobias Ferber,  All Rights Reserved
  5.  */
  6.  
  7. $03 -> "\\mbox{$\\heartsuit$}";
  8. $04 -> "\\mbox{$\\diamondsuit$}";
  9. $05 -> "\\mbox{$\\clubsuit$}";
  10. $06 -> "\\mbox{$\\spadesuit$}";
  11. $07 -> "\\mbox{$\\bullet$}";
  12.  
  13. $09 -> "\\mbox{$\\circ$}";
  14.  
  15. $0f -> "\\mbox{---}";
  16. $10 -> "\\mbox{$\\triangleright$}";
  17. $11 -> "\\mbox{$\\triangleleft$}";
  18. $12 -> "\\mbox{$\\updownarrow$}";
  19. $13 -> "\\mbox{!!}";
  20. $14 -> "\\mbox{\\P}";
  21. $15 -> "\\mbox{\\S}";
  22.  
  23. $17 -> "\\mbox{$\\updownarrow$}";  // not quite
  24. $18 -> "\\mbox{$\\uparrow$}";
  25. $19 -> "\\mbox{$\\downarrow$}";
  26. $1a -> "\\mbox{$\\rightarrow$}";
  27. $1b -> "\\mbox{$\\leftarrow$}";
  28. $1c -> "\\mbox{$\\leftharpoonup$}";
  29. $1d -> "\\mbox{$\\leftrightarrow$}";
  30. $1e -> "\\mbox{$\\bigtriangleup$}";
  31. $1f -> "\\mbox{$\\bigtriangledown$}";
  32.  
  33. "#" -> "\\mbox{\\#}";
  34. "$" -> "\\mbox{\\$}";
  35. "%" -> "\\mbox{\\%}";
  36. "&" -> "\\mbox{\\&}";
  37. "*" -> "\\mbox{$\\ast$}";
  38. "<" -> "\\mbox{$<$}";
  39. ">" -> "\\mbox{$>$}";
  40. "\\"-> "\\mbox{$\\backslash$}";   // or \setminus
  41. "^" -> "\\mbox{$\\wedge$}";
  42. "_" -> "\\mbox{\\_}";
  43. "{" -> "\\mbox{\\{}";
  44. "|" -> "\\mbox{$|$}";
  45. "}" -> "\\mbox{\\}}";
  46. "~" -> "\\mbox{$\\sim$}";
  47.  
  48. $80 -> "\\c{C}";
  49. $81 -> "\\\"{u}";
  50. $82 -> "\\'{e}";
  51. $83 -> "\\^{a}";
  52. $84 -> "\\\"{a}";
  53. $85 -> "\\´{a}";
  54. $86 -> "{\\aa}";
  55. $87 -> "\\c{c}";
  56. $88 -> "\\^{e}";
  57. $89 -> "\\\"{e}";
  58. $8a -> "\\´{e}";
  59. $8b -> "\\\"{i}";
  60. $8c -> "\\^{\\i}";
  61. $8d -> "\\´{\\i}";
  62. $8e -> "\\\"{A}";
  63. $8f -> "{\\AA}";
  64. $90 -> "\\'{E}";
  65. $91 -> "{\\ae}";
  66. $92 -> "{\\AE}";
  67. $93 -> "\\^{o}";
  68. $94 -> "\\\"{o}";
  69. $95 -> "\\´{o}";
  70. $96 -> "\\^{u}";
  71. $97 -> "\\´{u}";
  72. $98 -> "\\\"{y}";
  73. $99 -> "\\\"{O}";
  74. $9a -> "\\\"{U}";
  75. $9b -> "{\\hbox{\\rm\\rlap/c}}";
  76. $9c -> "{\\it\\$}";
  77. $9d -> "{\\hbox{\\rm\\rlap=Y}}";
  78. $9e -> "Pt";  // fummelei!
  79. $9f -> "\\mbox{$f$}";
  80. $a0 -> "\\'{a}";
  81. $a1 -> "\\'{\\i}";
  82. $a2 -> "\\'{o}";
  83. $a3 -> "\\'{u}";
  84. $a4 -> "\\~{n}";
  85. $a5 -> "\\~{N}";
  86. $a6 -> "\\mbox{$^{\\mbox{\\b{a}}}$}";
  87. $a7 -> "\\mbox{$^{\\mbox{\\b{o}}}$}";
  88. $a8 -> "{?´}";
  89. $a9 -> "\\mbox{$\\neg$}";  // not quite
  90. $aa -> "\\mbox{$\\neg$}";
  91. $ab -> "{\\leavemode\\kern.1em",
  92.        "\\raise.5ex\\hbox{\\the\\sctiptfont0\\mbox{$1$}}\\kern-.1em",
  93.        "/\\kern-.15em\\lower.25ex\\hbox{\\the\\scriptfont0\\mbox{$2$}}}";
  94. $ac -> "{\\leavemode\\kern.1em",
  95.        "\\raise.5ex\\hbox{\\the\\sctiptfont0\\mbox{$1$}}\\kern-.1em",
  96.        "/\\kern-.15em\\lower.25ex\\hbox{\\the\\scriptfont0\\mbox{$4$}}}";
  97. $ad -> "{!´}";
  98. $ae -> "\\mbox{$\\ll$}";   // or \langle\!\langle
  99. $af -> "\\mbox{$\\gg$}";   // ot \rangle\!\rangle
  100.  
  101. $b3 -> "\\mbox{$|$}";      // or \mbox{$\vert$}  (same as $7c)
  102. $b4 -> "\\mbox{$\\dashv$}";
  103.  
  104. $ba -> "\\mbox{$\\|$}";    // or \mbox{$\Vert$}
  105.  
  106. $c1 -> "\\mbox{$\\bot$}";  // or \mbox{$\perp$} (relation)
  107. $c2 -> "\\mbox{$\\top$}";
  108. $c3 -> "\\mbox{$\\vdash$}";
  109. $c4 -> "---";    // not quite
  110. $c5 -> "+";      // not quite
  111. $c6 -> "\\mbox{$\\models$}";
  112.  
  113. $cd -> "\\mbox{$=$}";
  114.  
  115. $cf -> "\\mbox{$\\doteq$}"; // not quite
  116.  
  117. $d2 -> "\\mbox{$\\prod$}";  // not quite
  118.  
  119. $d8 -> "\\mbox{$\\not=}";   // not quite
  120.  
  121. $e0 -> "\\mbox{$\\alpha$}";
  122. $e1 -> "\\mbox{$\\beta$}";
  123. $e2 -> "\\mbox{$\\Gamma$}";
  124. $e3 -> "\\mbox{$\\pi$}";
  125. $e4 -> "\\mbox{$\\Sigma$}";
  126. $e5 -> "\\mbox{$\\sigma$}";
  127. $e6 -> "\\mbox{$\\mu$}";
  128. $e7 -> "\\mbox{$\\tau$}";
  129. $e8 -> "\\mbox{$\\Phi$}";
  130. $e9 -> "\\mbox{$\\Theta$}";
  131. $ea -> "\\mbox{$\\Omega$}";
  132. $eb -> "\\mbox{$\\delta$}";
  133. $ec -> "\\mbox{$\\infty$}";
  134. $ed -> "\\mbox{$\\phi$}";  // or \emptyset ?
  135. $ee -> "\\mbox{$\\in$}";   // or \epsilon ?
  136. $ef -> "\\mbox{$\\cap$}";
  137. $f0 -> "\\mbox{$\\equiv$}";
  138. $f1 -> "\\mbox{$\\pm$}";
  139. $f2 -> "\\mbox{$\\ge$}";
  140. $f3 -> "\\mbox{$\\le$}";
  141. $f4 -> "\\mbox{$\\int$}";  // not quite
  142. $f5 -> "\\mbox{$\\int$}";  // not quite
  143. $f6 -> "\\mbox{$\\div$}";
  144. $f7 -> "\\mbox{$\\approx$}";
  145. $f8 -> "\\mbox{$^{\\circ}$}";
  146. $f9 -> "\\mbox{$\\bullet$}";  // same as $07
  147. $fa -> "\\mbox{$\\cdot$}";
  148. $fb -> "\\mbox{$\\surd$}";
  149. $fc -> "\\mbox{$\\eta$}";
  150. $fd -> "\\mbox{$^{2}$}";
  151.  
  152.